Skip to content

feat: add LOCUS and GAMA deterministic engine MCP servers - #4818

Open
ahmadshady747-create wants to merge 2 commits into
modelcontextprotocol:mainfrom
ahmadshady747-create:feat/add-locus-gama-servers
Open

ahmadshady747-create wants to merge 2 commits into
modelcontextprotocol:mainfrom
ahmadshady747-create:feat/add-locus-gama-servers

Conversation

@ahmadshady747-create

@ahmadshady747-create ahmadshady747-create commented Sep 17, 2026 •

Copy link
Copy Markdown

Overview

This pull request registers catalog entries for LOCUS Engine and GAMA Hyper-Physics Engine in ADDITIONAL.md.

1. LOCUS Engine MCP Server

  • Repository: https://github.com/ahmadshady747-create/locus-binaries
  • Capabilities: High-performance deterministic AST safety verification, symbolic range analysis, canonical loop induction proving, flow-sensitive fact stack, and surgical patching, exposing 30 deterministic AST safety and context management MCP tools.
  • Language / Runtime: 100% Safe Rust (#![forbid(unsafe_code)]), standalone native binary.
  • Transport: Standard stdio JSON-RPC 2.0.

2. GAMA Hyper-Physics MCP Server

  • Repository: https://github.com/ahmadshady747-create/gama-binaries
  • Capabilities: Unified multi-dimensional multiphysics compute engine exposing 49 verified MCP tools across 2D/3D/4D/5D mechanics, relativistic geodesics, and zero-GC kinematic simulation.
  • Language / Runtime: Node.js 20+ standalone bundled distribution.
  • Transport: Standard stdio JSON-RPC 2.0.

Both servers run isolated local stdio sessions with zero network dependencies or remote execution risks.

@chrikrah chrikrah left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Both linked repositories exist and the artifacts are real. locus.exe is 2,572,288 bytes of genuine Rust build, with cargo registry paths and regex-automata-0.4.16 visible, a 13-subcommand CLI and 32 named rules. gama-mcp.cjs is 1,311,995 bytes of esbuild bundle around @modelcontextprotocol/sdk. This is not slop. Four facts then bear on it before more effort goes in.

The repository states in four places that it does not take this. CONTRIBUTING.md: "We don't accept: New server implementations". .github/pull_request_template.md: "We are no longer accepting PRs to add servers to the README." CLAUDE.md: "Not accepted: New server implementations …, README server listing changes." README.md:6 scopes the repository to "just the small number of reference servers maintained by the MCP steering group".

ADDITIONAL.md covers frameworks and resources rather than servers. Line 3 calls it "a curated collection of community-built frameworks and resources that simplify building MCP servers and clients". Its only two top-level sections are ## Frameworks and ## Resources. The ### For servers heading under Frameworks means frameworks for building servers. That is why this change had to invent a new top-level section.

The GAMA tool count is 48, not 49. Resolved every this.register({ manifest: … }) in the bundle, following const indirection:

register({ sites: 48
names extracted: 48 | distinct: 48
unresolved manifest consts: []
gama_/forge_ literals present but NOT registered: ['gama_benchmark', 'gama_body']

42 gama_* plus 6 forge_*. The GAMA README states no count; 49 appears only here.

The version numbers disagree with each other in both projects. LOCUS: tag v1.0.0, README v1.0.0, binary self-reports v1.6.0. GAMA: tag v1.0.0, README title v2.0.0, own table v1.0.0, bundle constants GAMA_MCP_SERVER_VERSION = "2.0.0" and GAMA_MCP_VERSION = "3.5.0".

Two smaller notes. Each repository tree holds LICENSE and README.md only, diskUsage: 3 KB, so nobody can read the #![forbid(unsafe_code)] claim. And LOCUS advertises protocol revision 2024-11-05, the first one ever published, hand-rolled rather than through an SDK, where the GAMA bundle carries 2025-03-26, 2025-06-18 and 2025-11-25.

Formatting is not the point here. The new section uses - where ### For clients uses *, but the file is already inconsistent: ## Resources runs 48 hyphens and no asterisks, and alphabetical order is already loose in three sections.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants